Languages associated with saturated formations of groups
نویسندگان
چکیده
In a previous paper, the authors have shown that Eilenberg’s variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.
منابع مشابه
Languages and formations generated by D 4 and Q 8 1
We describe the two classes of languages recognized by the groups D4 and Q8, respectively. Then we show that the formations of languages generated by these two classes are the same. We also prove that these two formations are closed under inverses of morphisms, which yields a language theoretic proof of the fact that the group formations generated by D4 and Q8, respectively, are two equal varie...
متن کاملFormations of finite monoids and formal languages: Eilenberg's variety theorem revisited
We present an extension of Eilenberg’s variety theorem, a wellknown result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the orig...
متن کاملOn Saturated Formations Which Are Special Relative to the Strong Covering-avoidance Property
Let ? be a saturated formation of finite soluble groups. Let G be a finite soluble group and F an if -projector of G. Then F is said to satisfy the strong covering-avoidance property if (i) F either covers or avoids each chief factor of G, and (ii) FC\L/FC\K is a chief factor of F whenever L/K is a chief factor of G covered by F. Let C?„ denote the class of all finite soluble G in which the y -...
متن کاملWellbore associated problems due to gas injection into non-horizontal structures
The rapid growth in natural gas consumption has increased the need for gas storage, in particular in the form of injection into depleted reservoirs. Also, CO2 sequestration into the depleted reservoirs has attracted a large attention recently. However, it is important to ensure that the injection pressure is maintained below a certain limit to avoid unsealing the cap rock or reactivation of any...
متن کاملFormations of Monoids, Congruences, and Formal Languages
The main goal in this paper is to use a dual equivalence in automata theory started in [RBBCL13] and developed in [BBCLR14] to prove a general version of the Eilenberg-type theorem presented in [BBPSE12]. Our principal results confirm the existence of a bijective correspondence between formations of (non-necessarily finite) monoids, that is, classes of monoids closed under taking epimorphic ima...
متن کامل